61. A first course in mathematical logic and set theory /
Author: Michael L. O'Leary
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics,Set theory
Classification :
QA9
62. A first course in modern logic
Author: / /By/Edith Watson Schipper and Edward Schuh,Schipper
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
BC135
.
S33
63. A first journey through logic /
Author: Martin Hils, François Loeser.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
Classification :
QA9
.
H52445
2019
64. A formalization of set theory without variables
Author: Tarski, Alfred.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
T37
1987
65. A formalization of set theory without variables
Author: Tarski, Alfred
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
T37
1987
66. A formalization of set theory without variables
Author: TARSKI,ALFRED
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: SET THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
Classification :
QA
248
.
T37
67. A formalization of set theory without variables
Author: Tarski, Alfred
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
T37
68. A formalization of set theory without variables /
Author: by Alfred Tarski and Steven Givant.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
Classification :
QA248
.
T37
1987
69. A framework for priority arguments
Author: Lerman, Manuel, 3491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical
Classification :
QA
9
.
A1L44
Vol
.
34
70. A friendly introduction to mathematical logic
Author: / Christopher C. Leary
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: منطق کامپیوتری,Logic, Symbolic and mathematical
Classification :
QA
۷۶
/
۹
/
م
۸
ل
۹ ۱۳۷۹
71. A friendly introduction to mathematical logic
Author: Leary, Christopher C.
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Computer logic,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
L63
L43
2000
72. A friendly introduction to mathematical logic /
Author: Christopher C. Leary
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic,Logic, Symbolic and mathematical
Classification :
QA76
.
9
.
L63
L43
2000
73. A hierarchy of Turing degrees :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Unsolvability (Mathematical logic) ; Computable functions. ; Recursively enumerable sets. ;
74. A logical introduction to proof
Author: Daniel W. Cunningham
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
.
C86
2012eb
75. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B
موضوع : ، Logic, Symbolic and mathematical
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
76. <A> mathematical introduction to logic
Author: ]by[ Herbert B. Enderton
Library: Vali Asr University Central Library (Kerman)
Subject: Logic, Symbolic and mathematical
Classification :
QA
9
.
E54
1972
77. <A> mathematical introduction to logic
Author: ]by[ Herbert B. Enderton
Library: Vali Asr University Central Library (Kerman)
Subject: Logic, Symbolic and mathematical
Classification :
QA
9
.
E54
1972
78. A mathematical introduction to logic
Author: / [by] Herbert B. Enderton,Enderton
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
QA
9
.
E54
79. A mathematical introduction to logic
Author: / Herbert B. Enderton
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.
Classification :
QA9
,.
E54
,
2001
80. A mathematical introduction to logic
Author: Enderton, Herbert B.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
E59
2001
